Large Scale Symbolic Programming with GiNaC
نویسندگان
چکیده
GiNaC is a free framework that embeds symbolic manipulation consistently into the C++ programming language. It deliberately neglects the split-up into a low level language and a high level language, traditional in the design of computer algebra systems. The user usually interacts with GiNaC directly in C++. GiNaC was designed to provide efficient handling of multivariate polynomials, algebras and some special functions that are needed for loop calculations in HEP. But it also bears some potential to become a more general purpose symbolic system.
منابع مشابه
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
The traditional split-up into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++ and the user can interact with it directly in that language. It was desi...
متن کاملgTybalt - a free computer algebra system
This article documents the free computer algebra system “gTybalt”. The program is build on top of other packages, among others GiNaC, TeXmacs and Root. It offers the possibility of interactive symbolic calculations within the C++ programming language. Mathematical formulae are visualized using TeX fonts.
متن کاملAn Example of Clifford Algebras Calculations with GiNaC
This is an example of C++ code of Cli ord algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produce illustrations for paper [14, 12]. Described features of GiNaC are already available at PyGiNaC [3] and due to course should propagate into other software like GNU Octave [7] and gTybalt [18] which use GiNaC library ...
متن کاملSymbolic computations in differential geometry
We introduce the C++ library Wedge, based on GiNaC, for symbolic computations in differential geometry. We show how Wedge makes it possible to use the language C++ to perform such computations, and illustrate some advantages of this approach with explicit examples. In particular, we describe a short program to determine whether a given linear exterior differential system is involutive.
متن کاملTwo Steps Towards Automating Efficient Solution of Inverse Problems
We have combined symbolic mathematics with code generation to create a user–friendly environment for specifying finite element methods. The motivation behind this approach is to automate the boring and error-prone task of implementing variational forms of PDEs, which is a cornerstone when developing finite element simulators. By employing a symbolic engine in a high–level language we allow the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002